Mathematical programming - PDFSEARCH.IO - Document Search Engine

Mathematical programming
Results: 4310

#	Item
141	References Lehrbuch: [1] F. Jarre and J. Stoer, Optimierung, Lehrbuch, Springer VerlagReferierte Zeitschriftenbeitr¨ age: [2] F. Jarre, “On the Convergence of the Method of Analytic Centers when Add to Reading List Source URL: www.opt.uni-duesseldorf.de Language: English - Date: 2015-05-20 07:06:03 Mathematical optimization Mathematical analysis Operations research Analysis Convex optimization Convex analysis Linear programming Semidefinite programming Quadratic programming Global optimization Conic optimization Interior point method
142	Project Report for P415/515 Specication and Verication of a File System: A Successful Failure Add to Reading List Source URL: michaeldadams.org Language: English - Date: 2012-07-27 19:09:55 Computer programming Software engineering Theoretical computer science Mathematics B-tree Mathematical logic Linked list Algorithm Mathematical induction Recursion Trie
143	CrossMark_Color_Stacked_p Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-10-29 00:52:29 Mathematics Applied mathematics Logic Constraint programming Operations research Algorithm Mathematical logic Theoretical computer science Simulated annealing Local search Mathematical optimization Compactness theorem
144	Look-back Techniques for ASP Programs with Aggregates Wolfgang Faber1 , Nicola Leone1 , Marco Maratea1,2 , and Francesco Ricca1 1 Department of Mathematics, University of Calabria, 87036 Rende (CS), Italy Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:06:11 Mathematics Logic Mathematical logic Logic programming Model theory Stable model semantics Modal logic FO Binomial coefficient
145	Sequential Encodings from Max-CSP into Partial Max-SAT⋆ Josep Argelich1 , Alba Cabiscol2 , Inˆes Lynce3 , and Felip Many`a4 1 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Theoretical computer science Logic in computer science Combinatorial optimization Maximum satisfiability problem Unit propagation Constraint programming Mathematics Mathematical logic
146	Final version of the optimizations algorithms and tools Deliverable 4.3 Nature : Deliverable Due date : Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:41 Software Numerical analysis Mathematical software Numerical software Mathematical optimization Solver Constraint programming Lis
147	DOC Document Add to Reading List Source URL: www.sigevo.org Language: English - Date: 2013-10-03 16:17:54 Evolutionary algorithms Evolutionary computation Mathematical optimization Artificial intelligence Applied mathematics Theoretical computer science Cybernetics Genetic algorithms Genetic and Evolutionary Computation Conference Riccardo Poli Genetic programming Genetic representation
148	Steffen Rebennack Ellipsoid Method in Encyclopedia of Optimization, Second Edition, C.A. Floudas and P.M. Pardalos (Eds.), Springer, pp. 890–899, 2008 Add to Reading List Source URL: bioinfo.ict.ac.cn Language: English - Date: 2014-11-28 11:05:21 Mathematics Operations research Mathematical optimization Geometry Convex optimization Linear programming Combinatorial optimization Ellipsoid method Ellipsoid Leonid Khachiyan Fulkerson Prize Ellipse
149	An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Theoretical computer science Mathematical logic Software engineering Computability theory Models of computation Logic in computer science Programming language semantics Denotational semantics Recursion Negation True quantified Boolean formula Mathematical proof
150	JOURNAL OF TVCGAutomatic Constraint Detection for 2D Layout Regularization Add to Reading List Source URL: peterwonka.net Language: English - Date: 2015-11-20 08:11:15 Constraint programming Mathematical optimization Constraint Regularization Analysis Constraint satisfaction Mathematics Applied mathematics Constraint logic programming

UPDATE